COMMENT ⊗   VALID 00003 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\\M1BASL30\M2BASB30\M3NGR25\M4NGR20\F2\CSTANFORD UNIVERSITY
C00004 00003	I am therefore enclosing a reasonably complete biography, the salient
C00008 ENDMK
C⊗;
\\M1BASL30;\M2BASB30;\M3NGR25;\M4NGR20;\F2\CSTANFORD UNIVERSITY
\F3\CSTANFORD, CALIFORNIA 94305
\F4COMPUTER SCIENCE DEPARTMENT\←L\-R\/'7;\+R\→.\→S   Telephone:
\←S\→.415-497-4971
\F1\CJuly 28, 1975




Dear Bill:

\J
I am writing to you rather than calling because things are still pretty
tender. As you might know Paulette and I have separated -- probably
permanently. Things have not been going too well for quite a while
and finally gave out a few months ago.  I don't think either of us
really yet understand quite what has happened. Be that as it may, the
other reason for writing is to sample the job weather at Tymeshare. I
am currently revising my manuscript for McGraw-Hill, and when that's
finished I'm in the market for a job. I don't like to impose on friends
but if you know of openings which might suit my "unique talents", perhaps
you could point me in the right directions. You can contact me at
the Lab or at Vic Scheinman's (493-3038) or leave a message at either place.
I am therefore enclosing a reasonably complete biography, the salient
features of which are expertise in at least the following areas:

Language design and translator  writing: This is based on  many years
experience  as   a  programmer,  several  years  teaching  translator
writing, language implementation,  and research  in specification  of
languages and data  structures, and finally the writing of  a book on
LISP,  language design,  and implementation  (to be published  in the
McGraw-Hill series on computer science). 

Systems   programming:  Many   years   experience  in   the   design,
implementation, and maintenance of operating systems and time-sharing
systems. 

Display-based and interactive  programming: Based  on the design  and
use  of  sophisticated display-based  time  sharing  systems, and  on
recent   research  into  interactive  programming   as  a  means  for
controlling   complexity   and   maintaining   correctness   in   the
construction on complex programs. 

Theory - mathematical semantics, theorem proving, verification, 
and automatic programming: This incorporates several years research in the
practical as well as theoretical aspects of theorem proving as a technique
to attack problems in computer science as well as mathematics. Recent work in
attempting to understand how to construct correct programs has involved
study of contemporary verification techniques as well as study of mathematical
models for  programming languages.

Computer science education and CAI: One of the reasons for careful study of
programming languages and methodology is to improve on the way people
approach the problems of writing programs. My book reflects many of
my thoughts on how to design correct and understandable programs. What is
also needed are the computer-based tools to reinforce good pedagogy.

If you desire any further information please contact me.
\.
\←L\→S\←R\-L\/'2;\+L\→L

Yours sincerely,



John R. Allen
Research Associate
Computer Science Dept
Artificial Intelligence Lab

\←S\→L